/* @Phan Thanh Nhuan*/
/* @5070.1725*/

/*fact*/
red(club(mu)).
blue(club(chelsea)).
bestplayer(mu,ronaldo).
bestplayer(chelsea,terry).


/*rule*/
bestredplayer(X):- red(club(Y)),bestplayer(Y,X).
bestblueplayer(X):-blue(club(Y)),bestplayer(Y,X).

color(P,red):-red(club(P)),!.
color(P,blue):-blue(club(P)),!.
color(P,unknown).

